How to Install lbt software package in Ubuntu 16.04 LTS (Xenial Xerus)

How to Install lbt software package in Ubuntu 16.04 LTS (Xenial Xerus)

lbt software package provides converts from LTL formulas to B?chi automata, you can install in your Ubuntu 16.04 LTS (Xenial Xerus) by running the commands given below on the terminal,

$ sudo apt-get update
$ sudo apt-get install lbt 

lbt is installed in your system.

Make ensure the lbt package were installed using the commands given below,

$ sudo dpkg-query -l | grep lbt *

You will get with lbt package name, version, architecture and description in a table

lbt package basic information:

Distro Ubuntu 16 04 lts xenial xerus
Section Mathematics
Package lbt
Version 1.2.2-5
Description converts from LTL formulas to B?chi automata
Sub Section Math


See Also, How to uninstall or remove lbt software package from Ubuntu 16.04 LTS (Xenial Xerus) ?